Sudoku: prove/Risc (History)

PDF of Slope Iteration Times

Additional Statistics:

Lower bound Estimate Upper bound
0.2946831 0.3390776 0.3077850
Mean 1.6656 s 1.6676 s 1.6692 s
Std. Dev. 1.7669 ms 4.2618 ms 6.0130 ms
Median 1.6675 s 1.6687 s 1.6695 s
MAD 932.87 µs 1.8700 ms 3.7330 ms

Additional Plots:

Understanding this report:

The plot on the left displays the average time per iteration for this benchmark. The shaded region shows the estimated probabilty of an iteration taking a certain amount of time, while the line shows the mean. Click on the plot for a larger view showing the outliers.

The plot on the right shows the average time per iteration for the samples. Each point represents one sample.

See the documentation for more details on the additional statistics.